Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
271	XQuery 1.0 Formal Semantics Page 1 of 110 XQuery 1.0 Formal Semantics W3C Working Draft 07 June 2001 Add to Reading List Source URL: www.wiscorp.com Language: English - Date: 2008-09-22 09:48:28 World Wide Web Consortium Functional languages Query languages Markup languages 4GL XQuery XPath XSLT EXist Computing Web standards XML
272	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>= Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Science Program logic Computer law Copyleft Monad Isabelle Formal verification Predicate transformer semantics Creative Commons Theoretical computer science Formal methods Applied mathematics
273	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Program logic Law Computer law Copyleft Intellectual property law Isabelle Predicate transformer semantics L4 microkernel family Hoare logic Theoretical computer science Open content Formal methods
274	Design of a Hypermedia Interface Translating between Associative and Formal Representations Francis HEYLIGHEN* PESP, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium ABSTRACT. It is argued that in orde Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:20 Cognitive architecture User interface Semantics Usability C dynamic memory allocation Cognition Computing Adaptive educational hypermedia Adaptive hypermedia Human–computer interaction Software ACT-R
275	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: www.arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
276	194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-05-18 19:21:52 Computing Programming language semantics Formal methods Denotational semantics Operational semantics Semantics of programming languages Programming language Prolog Compiler-compiler Theoretical computer science Software engineering Logic in computer science
277	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods
278	Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Formal methods Program logic Predicate transformer semantics Logic programming Social vulnerability Vulnerability Algorithm FO KeY Theoretical computer science Logic Applied mathematics
279	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
280	Developing a Formal Semantics for Babelsberg: A Step-by-Step Approach Tim Felgentreff, Todd Millstein, and Alan Borning VPRI Technical Report TR-2014-002a Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-03-04 14:17:47 Computing Mathematical optimization Logic programming Constraint logic programming Programming paradigms Constraint Prolog Constraint satisfaction Constraint optimization Constraint programming Software engineering Computer programming

UPDATE